First-order Term Compression: Techniques and Applications
نویسندگان
چکیده
Lossless sequential data compression techniques are well-known. Such techniques work best on data with repetition in its sequential representation. One might wish to compress data that can possess non-sequential repetitive structure, for example, first-order terms. Sequential techniques often do not compress such data well. This paper presents improved compression techniques that can take advantage of repetitive term structure. The first part presents a formal background for the problem of compressing terms. The second part outlines several approaches to compressing terms by pattern substitution, using a modified form of substitution tree indexing. The third part shows how term compression can be used to compress proofs in a system for mobile code safety and presents experimental results establishing the effectiveness of term compression.
منابع مشابه
Medical Image Compression Based on Region of Interest
Medical images show a great interest since it is needed in various medical applications. In order to decrease the size of medical images which are needed to be transmitted in a faster way; Region of Interest (ROI) and hybrid lossless compression techniques are applied on medical images to be compressed without losing important data. In this paper, a proposed model will be presented and assessed...
متن کاملImplementation of VlSI Based Image Compression Approach on Reconfigurable Computing System - A Survey
Image data require huge amounts of disk space and large bandwidths for transmission. Hence, imagecompression is necessary to reduce the amount of data required to represent a digital image. Thereforean efficient technique for image compression is highly pushed to demand. Although, lots of compressiontechniques are available, but the technique which is faster, memory efficient and simple, surely...
متن کاملFirst-Order Formulation for Functionally Graded Stiffened Cylindrical Shells Under Axial Compression
The buckling analysis of stiffened cylindrical shells by rings and stringers made of functionally graded materials subjected to axial compression loading is presented. It is assumed that the material properties vary as a power form of the thickness coordinate variable. The fundamental relations, the equilibrium and stability equations are derived using the first order shear deformation theory. ...
متن کاملComparison of the Effects of Three Different Counting Methods on Cardiopulmonary Resuscitation Quality and Rescuer Fatigue
Background: Chest compression with adequate depth and number is one of the main indicators of high-quality cardiopulmonary resuscitation (CPR). Nevertheless, no proper counting technique is suggested to provide sufficient number of massages. Aim: To compare the effects of three techniques of chest compression counting on the quality of CPR and rescuer fatigue. Method: Inthis clinical trial, 30 ...
متن کاملDNA Barcoding: a new tool with wide array of applications
DNA barcoding is a new term introduced in to scientific literatures by Hebert and coworkers almost a decade ago. The concept of barcoding alone is well-known to the public: a series of black bars printed on many commercial products (Universal Product Code), which are used to distinguish different products. Advances made in molecular biology and molecular techniques late 20th century e.g. sequen...
متن کامل